Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
231	An Introduction to Dylan Release 1.0 Dylan Hackers May 20, 2015 Add to Reading List Source URL: opendylan.org Language: English - Date: 2015-05-20 13:58:16 Cross-platform software Data types Lisp programming language Type theory Method Dylan Common Lisp Lisp Generic function Software engineering Computing Computer programming
232	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
233	Types for Flexible Objects Pottayil Harisanker Menon Zachary Palmer Alexander Rozenshteyn Add to Reading List Source URL: pl.cs.jhu.edu Language: English - Date: 2013-05-28 13:31:51 Object-oriented programming Functional programming Immutable object Symbol Function Objective-C Constructor Sheaf Type system Software engineering Computing Computer programming
234	CONCUSSION QUESTIONS AND ANSWERS DIAGNOSIS • REHABILITATION • EDUCATION WHAT IS A CONCUSSION? A concussion is a type of brain injury. It occurs when the brain moves quickly enough to interrupt its function. Most con Add to Reading List Source URL: images.nflplayers.com Language: English - Date: 2015-02-19 06:26:30 Concussion Rehabilitation Knockout Medicine Neurotrauma Health
235	An Introduction to DemeterF (Java) Bryan Chadwick September 8, 2009 Abstract This document is meant to be an introduction to Object Oriented Programming (OOP) and Functional Adaptive Programming (AP-F) using DemeterF. De Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-09-08 18:32:14 Subroutines Method C++ Type theory Tree traversal Object-oriented programming C++ classes Binary tree Function object Software engineering Computing Computer programming
236	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-18 06:51:09 Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology
237	Dynamic Inference of Static Types for Ruby † Jong-hoon (David) An† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-11-10 09:03:55 Program analysis Type system Type theory Function Objective-C Mathematical optimization Closure Software engineering Computing Computer programming
238	The ThoughtWorks Anthology 2 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-10-25 15:50:47 Functional languages Type theory Data types Subroutines Haskell Literate programming Io Main function Type class Computing Software engineering Computer programming
239	Temporal Boolean Network Models of Genetic Networks and Their Inference from Gene Expression Time Series Adrian Silvescu and Vasant Honavar Articial Intelligence Research Laboratory Department of Computer Science and Gr Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2000-12-04 18:40:44 Gene expression Networks Systems biology Gene regulatory network Boolean network Boolean function Gene Boolean data type Biology Boolean algebra Molecular biology
240	The Peirce Translation and the Double Negation Shift Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 08:27:21 Logic Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Function Mathematics Mathematical logic Proof theory

UPDATE